🎨 Graph Coloring

Constraint Satisfaction, Register Allocation, Scheduling Problems, Algorithmic Graph Theory

How To Solve Every Programming Problem
blog.codeminer42.com·1h
📐Interval Arithmetic
Optimal Scheduling Algorithms for LLM Inference: Theory and Practice
arxiv.org·1d
💻Local LLMs
libsemigroups: C++ library for semigroups and monoids
github.com·1d·
Discuss: Hacker News, r/cpp
🧮Algebraic Datatypes
Analysing Snapshot Isolation
muratbuffalo.blogspot.com·1d·
Discuss: www.blogger.com
🌳Persistent Data Structures
Out-Fibbing CPython with the Plush Interpreter
pointersgonewild.com·21h·
Discuss: Lobsters
🔗Functional Compilers
Three challenges in machine-based reasoning
amazon.science·16h·
Discuss: Hacker News
🧮Theorem Proving
The Christofides Algorithm
alon.kr·1d·
Discuss: Hacker News
🕸️Graph Algorithms
SAT Requires Exhaustive Search
link.springer.com·2d·
Discuss: Hacker News
🧮Kolmogorov Complexity
Why Computer Science Is No Good, Redux
cacm.acm.org·1d
🎯Performance Proofs
New Features Everywhere: Launching Version 14.3 of Wolfram Language & Mathematica
writings.stephenwolfram.com·1d·
Discuss: Hacker News
💧Liquid Types
PQCSA: A Gentle Introduction to Code Based PKE
esat.kuleuven.be·2d
⚗️Algebraic Coding
Cactus Language • Pragmatics 9
inquiryintoinquiry.com·2d
📝Concrete Syntax
Decomposition of Symmetrical Classes of Central Configurations
arxiv.org·17h
💎Information Crystallography
(BT) Diversity from (LC) Diversity
golem.ph.utexas.edu·1d
🧮Kolmogorov Complexity
A New Concurrent ML in Guile Scheme
wingolog.org·1d·
Discuss: Hacker News
🔄Lens Laws
Confronting AI’s Next Big Challenge: Inference Compute
thenewstack.io·8h
💾Persistence Strategies
Rod Burstall: In Memoriam
arxiv.org·1d·
Discuss: Lobsters
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Understanding Goroutines, Concurrency, and Scheduling in Go
dev.to·2h·
Discuss: DEV
🧠Program Logic
Big O vs Hardware: Better Complexity ≠ Better Performance
blog.codingconfessions.com·3d·
Discuss: Hacker News
🔢Bitwise Algorithms
Responsible AI for the payments industry – Part 2
aws.amazon.com·2h
🤖AI Curation